batman finally kills joker